From cc5dc8554076ef0b224c4cbede361e4684960099 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 20 Feb 2009 08:01:43 +0100
Subject: [PATCH] Various fixes

---
 debian/rules | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 9077194a..e68e74f4 100755
--- a/debian/rules
+++ b/debian/rules
@@ -53,6 +53,7 @@ debian/control:
 	sed -e 's/@OCamlNativeArchs@/$(NATIVE_ARCHS)/g' debian/control.in > $@
 
 pre-config-stamp: debian/$(SRCTARBALL)
+	chmod +x debian/gen_modules.pl
 # Backup upstream config.{sub,guess}, and use most up-to-date ones
 	for ext in sub guess; do \
 	  if [ -f /usr/share/misc/config.$$ext ] && \
@@ -157,7 +158,7 @@ install-stamp:
 	  mv $$u.install.new $$u.install; \
 	done
 	if ! dh_install --list-missing; then \
-	  @echo "===> dh_install has failed with exit code $?... <==="; \
+	  echo "===> dh_install has failed <==="; \
 	  find debian/tmp; \
 	  exit 1; \
 	fi
-- 
2.30.2